Search Results
Smart Contract Languages & Formal Verification, Part 2 - Tezos Workshop
Smart Contract Languages & Formal Verification, Part 1 - Tezos Workshop
Introduction to Tezos Smart Contracts
Nomadic Labs Research Seminars #2 | Verifying Tezos Smart Contracts in the Mi-Cho-Coq Framework
NL Research Seminars #26| MicSE: Automated Verification and Testing of Tezos Smart Contracts
Formal Design, Implementation and Verification of Blockchain Languages
Tezos Today - Ep 2. Milo Davis - Michelson Dev.
SmartPy - An Introduction to the smart contract language for Tezos
Arthur Breitman discusses Tezos, proof-of-work and smart contract models
How to connect to the Tezos Alphanet
SmartPy - An Intro into the Tezos Smart Contract Language
Formal Verification of Smart Contracts Made Easy (Devcon5)
